Catoids and modal convolution algebras
نویسندگان
چکیده
Abstract We show how modal quantales arise as convolution algebras $$Q^X$$ Q X of functions from catoids X , multisemigroups equipped with source and target maps, into value or weight Q . In the tradition boolean operators we study correspondences between algebraic laws in The introduced generalise Schweizer Sklar’s function systems single-set categories to structures isomorphic ternary relations, they are used for substructural logics. Our correspondence results support a generic construction weighted catoids. This is illustrated by many examples. also relate our reasoning stochastic matrices probabilistic predicate transformers.
منابع مشابه
Weighted Convolution Measure Algebras Characterized by Convolution Algebras
The weighted semigroup algebra Mb (S, w) is studied via its identification with Mb (S) together with a weighted algebra product *w so that (Mb (S, w), *) is isometrically isomorphic to (Mb (S), *w). This identification enables us to study the relation between regularity and amenability of Mb (S, w) and Mb (S), and improve some old results from discrete to general case.
متن کاملweighted convolution measure algebras characterized by convolution algebras
the weighted semigroup algebra mb (s, w) is studied via its identification with mb (s) together with a weighted algebra product *w so that (mb (s, w), *) is isometrically isomorphic to (mb (s), *w). this identification enables us to study the relation between regularity and amenability of mb (s, w) and mb (s), and improve some old results from discrete to general case.
متن کاملConvolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Convolution is a ubiquitous operation in mathematics and computing. The Kripke semantics for substructural and interval logics motivates its study for quantalevalued functions relative to ternary relations. The resulting notion of relational convolution leads to generalised binary and unary modal operators for qualitative and quantitative models, and to more conventional variants, when ternary ...
متن کاملPartial Semigroups and Convolution Algebras
Partial Semigroups are relevant to the foundations of quantum mechanics and combinatorics as well as to interval and separation logics. Convolution algebras can be understood either as algebras of generalised binary modalities over ternary Kripke frames, in particular over partial semigroups, or as algebras of quantale-valued functions which are equipped with a convolution-style operation of mu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra Universalis
سال: 2023
ISSN: ['0002-5240', '1420-8911']
DOI: https://doi.org/10.1007/s00012-023-00805-9